Computation of All Rational Solutions of First-Order Algebraic ODEs
نویسندگان
چکیده
In this paper, we consider the class of first-order algebraic ordinary differential equations (AODEs), and study their rational solutions in three different approaches. A combinatorial approach gives a degree bound for rational solutions of a class of AODEs which do not have movable poles. Algebraic considerations yield an algorithm for computing rational solutions of quasilinear AODEs. And finally ideas from algebraic geometry combine these results to an algroithm for finding all rational solutions of a class of firstorder AODEs which covers all examples from the collection of Kamke. In particular, parametrizations of algebraic curves play an important role for a transformation of a parametrizable first-order AODE to a quasi-linear differential equation.
منابع مشابه
A Polynomial Time Algorithm to Find Rational General Solutions of First Order Autonomous ODEs
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For a first order autonomous ODE F = 0, we give an exact degree bound for its rational solutions, based on the connection between rational solutions of F = 0 and rational parameterizations of the plane algebraic curve defined by F = 0. For a first order autonomous ODE, we further give a p...
متن کاملRational general solutions of first order non-autonomous parametric ODEs
In this paper we study the non-autonomous algebraic ODE F (x, y, y′) = 0 with a birational parametrization P(s, t) of the corresponding algebraic surface F (x, y, z) = 0. Using this parametrization we drive to a system of ODEs in two parameters s, t of order 1 and of degree 1. We prove the correspondence of a rational general solution of the equation F (x, y, y′) = 0 and a rational general solu...
متن کاملRational general solutions of first order non-autonomous parametrizable ODEs
In this paper we study non-autonomous algebraic ODEs F(x, y, y) = 0, where F(x, y, z) ∈ Q[x, y, z], provided a proper rational parametrization P (s, t) of the corresponding algebraic surface F(x, y, z) = 0. We show the relation between a rational general solution of the non-autonomous differential equation F(x, y, y) = 0 and a rational general solution of its associated autonomous system with r...
متن کاملODE trends in computer algebra: Four linear and nonlinear challenges
This paper discusses possible solving strategies regarding four ODE problems, all relevant and currently out of the scope of the Maple ODE solver. The problems are: 1. Transformations linearizing non-linear first order ODEs 2. Non-linear 2nd order ODEs for which point symmetries are of no use 3. Hypergeometric solutions for 2nd order linear ODEs 4. Solutions for third and higher order linear OD...
متن کاملStatistical Investigation of First-Order Algebraic ODEs and their Rational General Solutions
In [3] we gave an algorithm for deciding the existence of a rational general solution of strongly parametrization first-order AODEs (SP1AODEs). This report shall give, on the one hand a list of strongly parametrizable AODEs and their solutions and on the other hand a statistical investigation on the relative number of such AODEs in well known collections such as Kamke [1] and Polyanin and Sajze...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016